INTRODUCING ITERATION INTO THE PURE LISP THEOREM PROVER.MOORE JS.1975; I.E.E.E. TRANS. SOFTWARE ENGNG; U.S.A.; DA. 1975; VOL. 1; NO 3; PP. 328-338; BIBL. 10 REF.Article

AUTOMATION OF SHUTTLE AVIONICS SYSTEM SOFTWARE VERIFICATIONKUHN AE; ROBERTS LW.1982; ADV. ASTRONAUT. SCI.; ISSN 0065-3438; USA; DA. 1982; VOL. 48; PP. 229-250; BIBL. 5 REF.Conference Paper

FORMAL SPECIFICATION OF GRAPHIC DATA TYPESMALLGREN WR.1982; ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS; ISSN 0164-0925; USA; DA. 1982; VOL. 4; NO 4; PP. 687-710; BIBL. 16 REF.Article

ON FORMAL AND INFORMAL PROOFS FOR PROGRAM CORRECTNESSCULIK K.1983; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1983; VOL. 18; NO 1; PP. 23-28; BIBL. 12 REF.Article

SOFTWARE RELIABILITY OF PROGRAMS WITH NETWORK STRUCTURESURI PK; AGGARWAL KK.1981; MICROELECTRON. RELIAB.; ISSN 0026-2714; GBR; DA. 1981; VOL. 21; NO 2; PP. 203-207; BIBL. 12 REF.Article

AUTOMATIC CONSTRUCTION OF VERIFICATION CONDITION GENERATORS FROM HOARE LOGICSMORICONI M; SCHWARTZ RL.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 363-377; BIBL. 10 REF.Conference Paper

MISE AU POINT DE PROGRAMMES IIHOREJS J.1977; INF. SYST.; CSK; DA. 1977 PUBL. 1978; VOL. 7; NO 3; PP. 223-249; ABS. RUS/ENG; BIBL. 2 P.Article

PROGRAM VERIFICATION AND ADAMCGETTRICK AD.1982; IEE PROC., E; ISSN 0143-7062; GBR; DA. 1982; VOL. 129; NO 2; PP. 55-62; BIBL. 17 REF.Article

A METHOD FOR PROGRAM SYNTHESISSZOETS M; CSIZMAZIA S.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 368-380; BIBL. 8 REF.Conference Paper

NONSTANDARD DYNAMIC LOGICNEMETI I.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 311-348; BIBL. 23 REF.Conference Paper

TWO PROGRAMMING PROBLEMSABRAHAMS PW.1978; SIGPLAN NOT.; USA; DA. 1978; VOL. 13; NO 9; PP. 28-29Article

A FAST AND USUALLY LINEAR ALGORITHM FOR GLOBAL FLOW ANALYSIS.GRAHAM SL; WEGMAN M.1976; J. ASS. COMPUTG MACHIN.; U.S.A.; DA. 1976; VOL. 23; NO 1; PP. 172-202; BIBL. 29 REF.Article

SHARPENING THE CHARACTERIZATION OF THE POWER OF FLOYD METHODANDREKA H.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 1-26; BIBL. 29 REF.Conference Paper

AUTOMATIC ASSESSMENT AIDS FOR PASCAL PROGRAMREES MJ.1982; SIGPLAN NOTICES; ISSN 0362-1340; USA; DA. 1982; VOL. 17; NO 10; PP. 33-42; BIBL. 3 REF.Article

PROGRAMS AND PROGRAM VERIFICATIONS IN A GENERAL SETTINGCSIRMAZ L.1981; THEOR. COMPUT. SCI.; ISSN 0304-3975; NLD; DA. 1981; VOL. 16; NO 2; PP. 199-210; BIBL. 6 REF.Article

THE QUALITY OF A COMPUTER PROGRAM: THE USER VIEW AND THE SOFTWARE ENGINEER VIEWCICU A.1981; COMPUTER PROGRAM TESTING. SUMMER SCHOOL ON COMPUTER PROGRAM TESTING/1981/URBINO; NLD/USA/GBR; AMSTERDAM; NEW YORK; OXFORD: NORTH HOLLAND; DA. 1981; PP. 241-249Conference Paper

TECNICHE DI INTELLIGENZA ARTIFICIALE NELLA VERIFICA ED ANALISI DI PROGRAMMI = TECHNIQUES DE L'INTELLIGENCE ARTIFICIELLE POUR LA VERIFICATION ET L'ANALYSE DE PROGRAMMESDEGANO P; SIROVICH F.1981; RIV. INFORM.; ISSN 0390-668X; ITA; DA. 1981; VOL. 11; NO 3; SUPPL.; PP. 93-104; BIBL. 7 P.Article

A CRITIQUE OF THE FOUNDATIONS OF HOARE-STYLE PROGRAMMING LOGICSO'DONNELL MJ.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981 PUBL. 1982; NO 131; PP. 349-374; BIBL. 22 REF.Conference Paper

STRUMENTI PER IL TESTING DEI PRODOTTI SOFTWARE = OUTILS POUR LE TEST DES PRODUITS LOGICIELSTERREVOLI G.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 2; PP. 145-176; ABS. ENG; BIBL. 75 REF.Article

A PRACTICAL DECISION PROCEDURE FOR ARITHMETIC WITH FUNCTION SYMBOLSSHOSTAK RE.1979; J. ANN. COMPUTG MACHIN.; USA; DA. 1979; VOL. 26; NO 2; PP. 351-360; BIBL. 17 REF.Article

PROOF OF CORRECTNESS OF DATA REPRESENTATIONS.HOARE CAR.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 183-193; BIBL. 8 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

STATIC VERIFICATION OF DYNAMIC TYPE PROPERTIES OF VARIABLES.COUSOT P; COUSOT R.1975; VSM-INPG-MATH. APPL. INF.-RR-25; FR.; DA. 1975; PP. 1-18; BIBL. 1 P. 1/2Report

VERIFYING PROGRAMS WHICH OPERATE ON DATA STRUCTURES.LAVENTHAL MS.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 420-426; BIBL. 13 REF.Conference Paper

VERIFICATION OF PROGRAMS WITH PROCEDURE-TYPE PARAMETERSERNST GW; NAVLAKHA JK; OGDEN WF et al.1982; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1982; VOL. 18; NO 2; PP. 149-169; BIBL. 8 REF.Article

DEVELOPPEMENT DES METHODES DE TEST SYMBOLIQUE DES PROGRAMMES D'ORDINATEURBICHEVSKIJ YA YA; BORZOV YU V.1982; AVTOM. TELEMEH.; ISSN 0005-2310; SUN; DA. 1982; NO 8; PP. 93-101; ABS. ENG; BIBL. 26 REF.Article